ELASTIC Formal